Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
211	Artificial Intelligence[removed]389 Elsevier 323 A theory of abstraction Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:23:00 Logical syntax Abstraction Metalogic Thought Axiom Propositional calculus Entailment Function Deduction theorem Logic Mathematics Mathematical logic
212	May 2008 DRAFT Linear Logical Algorithms Robert J. Simmons Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2008-07-11 10:59:20 Mathematical logic Predicate logic Non-classical logic Linear logic Proposition Function Algorithm Atomic formula Inference Logic Propositional calculus Logical syntax
213	Top 10 Reasons to Not Share Your Code (and why you should anyway) Randall J. LeVeque Applied Mathematics University of Washington Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2011-03-11 00:24:09 Logical consequence Logical syntax Philosophical logic Theorems Leveque Randall J. LeVeque Mathematical proof Logic Mathematics Mathematical logic
214	On Linear Inference Frank Pfennnig Draft of February 2, 2008 Inference. When we write an inference rule Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-14 10:37:05 Non-classical logic Logical consequence Proof theory Entailment Linear logic Inference Curry–Howard correspondence Proposition Rule of inference Logic Propositional calculus Logical syntax
215	International Journal of Modern Mathematics c Dixie W Publishing Corporation, U. S. A. ° () (), Add to Reading List Source URL: www.lehigh.edu Language: English - Date: 2010-05-14 10:06:01 Logical consequence Logical syntax Metalogic Data dependency Logic Deduction Entailment
216	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID[removed], 7 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 10:20:40 Logical syntax Philosophical logic Philosophy of language Theorems Biharmonic equation Harmonic function Hindawi Publishing Corporation Logic Mathematics Logical consequence
217	Proofs of Correctness in Mathematics and Industry Henk Barendregt Radboud University Nijmegen, The Netherlands July 11, 2007 Add to Reading List Source URL: ftp.cs.kun.nl Language: English - Date: 2008-10-02 17:25:47 Proof theory Logical syntax Formal systems Mathematical proofs Mathematical induction First-order logic Theorem Axiom Formal proof Logic Mathematics Mathematical logic
218	Logical Types for Untyped Languages ∗ Sam Tobin-Hochstadt Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Deduction Philosophy of language Logical syntax Propositional calculus Natural deduction Function Symbol Lambda calculus Logic Mathematics Mathematical logic
219	Reasoning about Programs by Exploiting the Environment* Limor Fix Fred B. Schneider Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:28:10 Mathematical logic Propositional calculus Formal languages First-order logic Model theory Entailment Function Constructible universe Logical connective Logic Logical syntax Metalogic
220	Technical note: How Most Similar Groups are formed What are Most Similar Groups? Most Similar Groups (MSGs) are groups of local areas that have been found to be the most similar to each other using statistical methods, b Add to Reading List Source URL: www.justiceinspectorates.gov.uk Language: English - Date: 2014-11-26 12:15:56 Multivariate statistics Logical syntax Variables Standard deviation Correlation and dependence Dimensional analysis Principal component analysis Quartile Unemployment Statistics Data analysis Summary statistics

UPDATE